| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Erfüllbarkeitsüberprüfung | Fach-/Modulprüfung | 6 | 402890 | ||
| Vorlesung/Übung | 399309 | Mo 08:30-10:00 Online-Veranstaltung (×14) Di 08:30-10:00 Online-Veranstaltung (×14) | |||
| Formale Methoden für Steuerungssoftware | Fach-/Modulprüfung | 6 | 401825 | ||
| Vorlesung/Übung | 397622 | Di 14:30-16:00 Online-Veranstaltung (×5) Fr 10:30-12:00 Online-Veranstaltung (×14) | |||
| Fach-/Modulprüfung | 403745 | ||||
| Model Checking | Fach-/Modulprüfung | 6 | 404964 | ||
| Vorlesung | 399346 | Mo 16:30-18:00 Online-Veranstaltung (×13) Do 14:30-16:00 Online-Veranstaltung (×13) | |||
| Übung | 397945 | Do 10:30-12:00 Online-Veranstaltung (×13) |